Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
681	NIST Big Data Definitions and Taxonomies Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-09 11:40:52 Information Database management systems Database theory Data analysis Formal sciences Data visualization Big data Data architecture Data warehouse Information technology management Data Data management
682	HOW TO APPLY For MS and PhD degrees: Following instructions on the SoC Graduate Admissions page Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-01-12 15:52:44 Concurrent computing Data mining Multi-core processor Data analysis Computer science Algorithm Analytics Big data Machine learning Formal sciences Science Technology
683	Visual Mining for Big Data Big Dive – June 21st, 2013 Alessandro Piglia – Kairos3D Where do we come from ? Add to Reading List Source URL: www.bigdive.eu Language: English - Date: 2013-06-28 07:54:52 Technology Infographics Visualization Computer graphics Scientific modeling OpenSceneGraph Data analysis VisIt Big data Science Software Formal sciences
684	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
685	Run-time Monitoring and Formal Analysis of Information Flows in Chromium Lujo Bauer Shaoying Cai? Limin Jia Timothy Passaro Michael Stroucken Carnegie Mellon University ? Institute for Infocomm Research Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2015-01-08 09:27:47 Web browsers Portable software HTTP HTTP cookie Google Chrome JavaScript Cross-site request forgery Bookmark Password Software Computing Internet privacy
686	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Comparative analysis for metagenomes and genomes Vertical (area) Scientific Research: Genomics Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 18:21:43 Bioinformatics Formal sciences Relational database management systems Database management systems Database theory Integrated Microbial Genomes System Oracle Database Metagenomics NoSQL Science Data management Statistics
687	IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, Investigating Topic Models’ Capabilities in Expression Microarray Data Classification Manuele Bicego, Pietro Lovato, Alessandro Perina, Marianna Fasol Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2013-03-19 09:37:42 Biology Machine learning Microarrays Formal sciences Bioinformatics Probabilistic latent semantic analysis Generative model Latent Dirichlet allocation Topic model Statistics Science Statistical natural language processing
688	WHITEPAPER Four steps to getting into your customer’s head with the data you already have BY JOHN BARONELLO Add to Reading List Source URL: www.cardinalpath.com Language: English - Date: 2014-05-20 13:13:35 Science Formal sciences Data management Analytics Mathematical finance Data analysis Business analytics Customer dynamics Business Business intelligence Management
689	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title NIST Information Access Division analytic technology performance measurement, evaluations, and standards Vertical (area) Analytic technology Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 19:36:52 Science Formal sciences Database management systems Database theory Information technology management Data analysis Big data Unstructured data Analytics Data management Business intelligence Technology

UPDATE